Software Anatomy of a KGP Agent
نویسندگان
چکیده
While there is much work in the literature on agent component technologies, there are comparatively few results on the engineering issues arising from the integration of these technologies into a complete and coherent agent architecture. This paper addresses these issues from both implementation and general architectural design point of view. The KGP (Knowledge, Goals and Plan) agent model developed in the EU SOCS project (IST-2001 32530) is used as an example to illustrate these engineering issues.
منابع مشابه
Crafting the mind of PROSOCS agents
prosocs agents are software agents that are built according to the kgp model of agency. kgp is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind’s reasoning functionalities. The behaviour of the agent is controlled by a cycle theory that specifies the agent’s preferred patterns of operation. The implementat...
متن کاملDecision Making with a KGP Agent System
A human user is centrally involved in a Decision Support System (DSS) task, whereas for an autonomous agent system, a user’s role is a more abstract notion of oversight and approval. In this paper, we examine the potential integration of a multi-agent architecture into a DSS. The motivation in this work is to utilise autonomous agent problemsolvers within a suitable multi-agent framework in suc...
متن کاملA Formal Analysis of KGP Agents
This paper contributes to the identification, formalisation and analysis of desirable properties of agent models in general and of the KGP model in particular. This model is specified in computational logic, and consequently lends itself well to formal analysis. We formalise three notions of welfare, in terms of goal achievement, progress, and reactive awareness, and we prove results related to...
متن کاملComputational Logic and Agent Based Systems
Il Milione: A Journey in the Computational Logic in Italy 70 SOMMARIO/ABSTRACT Viene descritto l'utilizzo della logica computazionale a supporto della formalizzazione ed implementazione di agenti in sistemi multi-agente. In questo ambitò e necessario l'uso di varie forme di logica computazionale, tra le quali abduzione, argomentazione e sistemi basati su preferenze. Viene presentato a grandi li...
متن کاملNormative KGP agents
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions that result from playing these roles. The proposed framework illustrates how the resulting normative concepts, including the roles, can evolve dynamically during the lifetime of the agent. Furthermore, we illustrate how t...
متن کامل